Tallinn - PDFSEARCH.IO - Document Search Engine

Tallinn
Results: 2406

#	Item
221	How to organize execution of tests on real Android devices Misha Beshkin. GameDev. Tallinn April, 2015 Add to Reading List Source URL: gamedev.ee Language: English
222	Mixed induction-coinduction at work for Coq Keiko Nakata, Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology We present tricks to implement mixed induction-coinduction in Coq using Mendler-style c Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-07-07 10:33:05
223	A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee 21, EETallinn, Estonia, {keiko\|t Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-01-14 14:32:40
224	TRANSLATION The resolution of the Board of OÜ EBS Education Tallinn 16 March 2015 No. 1 - F Add to Reading List Source URL: www.ebs.ee Language: English - Date: 2015-04-16 04:57:12
225	2nd International Conference Economies of Central and Eastern Europe: Convergence, Opportunities and Challenges 13 – 15 June 2010 Tallinn, Estonia Add to Reading List Source URL: tseba.ttu.ee Language: English
226	Transcription System for Semi-Spontaneous Estonian Speech ¨ Tanel Alumae Institute of Cybernetics at Tallinn University of Technology Add to Reading List Source URL: www.cl.ut.ee Language: English - Date: 2012-10-05 04:14:26
227	First Announcement Gulf of Finland Trilateral Co-operation and Baltic Earth Scientific ForumNovember 2015, Tallinn Add to Reading List Source URL: www.baltic-earth.eu Language: English - Date: 2015-05-27 08:09:53
228	Paula Hiimeäe Aged 16 Tallinn 122 Add to Reading List Source URL: tag-des-offenen-denkmals.de - Date: 2012-01-10 09:14:04
229	GameDevDays Resogun Story – Concept to Hit Game – Tallinn University, Tallinn © HOUSEMARQUE 2015 Add to Reading List Source URL: gamedev.ee Language: English
230	Trace-Based Coinductive Operational Semantics for While Big-step and Small-step, Relational and Functional Styles Keiko Nakata and Tarmo Uustalu Institute of Cybernetics at Tallinn University of Technology, Akadeemia tee Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2009-07-07 10:19:21

UPDATE